#!/bin/bash
export TIMEFORMAT="${PG_MAJOR}/${PGAPPNAME} %6R"

{ { time "$@" 1>&3- 2>&4-; } 2>> test_times.log; } 3>&1 4>&2
